A CNL for Contract-Oriented Diagrams

نویسندگان

  • John J. Camilleri
  • Gabriele Paganelli
  • Gerardo Schneider
چکیده

We present a first step towards a framework for defining and manipulating normative documents or contracts described as ContractOriented (C-O) Diagrams. These diagrams provide a visual representation for such texts, giving the possibility to express a signatory’s obligations, permissions and prohibitions, with or without timing constraints, as well as the penalties resulting from the non-fulfilment of a contract. This work presents a CNL for verbalising C-O Diagrams, a web-based tool allowing editing in this CNL, and another for visualising and manipulating the diagrams interactively. We then show how these proof-ofconcept tools can be used by applying them to a small example.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Controlled Natural Language in a Game for Legal Assistance

This paper addresses the design of an automated legal assistant capable of performing a logical analysis of legal documents and using natural language as a medium of communication with a human client. We focus on the interplay between natural language in which the legal document is expressed and the formal logic used for reasoning about it — ideally approached using a controlled natural languag...

متن کامل

Checking the Consistency of Collaboration and Class Diagrams using PVS

We present a formal, mechanically checked specification of the consistency constraints between two views of object-oriented systems described in BON: the static view provided by class diagrams annotated with contracts, and the dynamic view provided by collaboration diagrams. The constraints are specified as an extension of the BON metamodel, and are implemented in PVS. They ensure that the sequ...

متن کامل

Transformation of UML Interaction Diagrams

Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and...

متن کامل

Respecify: A requirements authoring tool harnessing CNL

This paper presents a novel framework for writing requirements specifications supported by a tool called Respecify which assists requirements engineers in identifying issues with ambiguity defects. The tool guides the requirements engineer to use a constrained natural language (CNL) which is structured to allow a requirements specification to be interpreted by the tool and rendered as several d...

متن کامل

The understandability of OWL statements in controlled English

Different kinds of controlled natural language (CNL) have been proposed as a front-end for Semantic Web systems, in order to make them more accessible to users with no background in formal notations and methods. This paper investigates whether OWL statements in CNL are indeed easier to understand than in other notations. To this aim, an experiment with 64 participants was conducted that compare...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014